Boolean analysis - PDFSEARCH.IO - Document Search Engine

Boolean analysis
Results: 158

#	Item
101	The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or f Add to Reading List Source URL: wiki.jvmlangsummit.com Language: English - Date: 2012-07-31 18:12:33 Computer programming Type theory Boolean algebra Program analysis Type system Boolean data type Conditional Constructor Oracle Database Data types Computing Software engineering
102	Computer Science Technical Report Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time Andrew M. Sutton, L. Darrell Whitley, Adele E. Howe Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2010-06-24 19:04:53 Coding theory Mathematical analysis Topology Mathematical optimization Pseudo-Boolean function Metric Function Hamming distance Walsh–Hadamard code Mathematics Geometry Metric geometry
103	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams
104	JID:APAL AID:2228 /FLA [m3G; v 1.68; Prn:[removed]; 12:41] P[removed]) Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2012-07-26 09:11:58 Boolean algebra Support Borel measure Null set Measure Borel set Complete Boolean algebra Abelian von Neumann algebra Trivial measure Mathematical analysis Mathematics Measure theory
105	J Philos Logic DOI[removed]s10992[removed]Completeness of S4 for the Lebesgue Measure Algebra Tamar Lando Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2012-07-26 09:11:31 Boolean algebra Measure theory Algebraic structures Forcing Lebesgue measure Measure Field of sets Borel set Heyting algebra Mathematics Mathematical analysis Mathematical logic
106	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Tuesday, June 17, 2008 – 9:15 a.m. to 12:15 p.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2010-01-06 14:55:14 Education in New York Regents Examinations Exponential function Boolean algebra Abstract algebra Mathematical analysis Mathematics Algebraic logic
107	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Tuesday, August 13, 2013 — 8:30 to 11:30 a.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2013-09-03 16:37:15 Functions and mappings Elementary algebra Equations Simultaneous equations Boolean algebra Function Mathematics Mathematical analysis Inverse functions
108	INTEGRATED ALGEBRA The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION INTEGRATED ALGEBRA Wednesday, August 18, 2010 — 8:30 to 11:30 a.m., only Add to Reading List Source URL: www.nysedregents.org Language: English - Date: 2010-09-07 15:21:30 Algebraic logic Analytic geometry Boolean algebra Cartesian coordinate system Exponential function Mathematics Mathematical analysis Abstract algebra
109	DISS. ETH NO[removed]Termination Analysis for Bit-Vector Programs A dissertation submitted to ETH ZURICH for the degree of Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-11-25 16:39:55 Boolean algebra True quantified Boolean formula
110	Z34Bio: An SMT-based Framework for Analyzing Biological Computation Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi and Hillel Kugler Microsoft Research, Cambridge, UK, http://research.microsoft.com/z3-4biolog Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2013-07-20 10:58:56 Systems biology Applied mathematics Satisfiability Modulo Theories Gene regulatory network Mathematical and theoretical biology Synthetic biology DNA Boolean network Analysis Science Biology Bioinformatics

UPDATE